Railway Reservation Verification by Aadhar Card
نویسندگان
چکیده
منابع مشابه
Verification of railway interlocking systems
In the railway domain, an interlocking is the system ensuring a safe train traffic inside a station by controlling its active elements such as the switches or the signals. Modern interlockings are configured using particular data, called application data, reflecting the topology of the station and defining the actions that the interlocking can take. The safety of the train traffic relies thereb...
متن کاملVerification of Java card programs
syntax tree, 13annotated, 13addarray, 40, 41addarrays, 41addclass, 26, 55addobj, 26algebraic specifications, 23allsupers, 32antecedent, 63array accessproof rule, 78semantics, 35array assignmentproof rule, 79semantics, 37array creationproof rule, 81semantics, 40array initializerproof rule, 82semantics, 41ArrayAcc...
متن کاملVerification of Java Card Applets
This work covers a methodology to develop a behavioral interface specification based on an informal documentation for a given Java Card applet and to check and to verify the applet w.r.t. this specification. A combination of a static checking tool (ESC/Java) and an interactive program verification tool (JIVE) is used in this task. This work is part of the project VerifiCard which is supported b...
متن کاملDynamics of railway bridges, analysis and verification by field tests
The following paper discusses different aspects of railway bridge dynamics, comprising analysis, modelling procedures and experimental testing. The importance of realistic models is discussed, especially regarding boundary conditions, load distribution and soil-structure interaction. Two theoretical case studies are presented, involving both deterministic and probabilistic assessment of a large...
متن کاملVerification of Railway Interlockings in Scade
We present two modelling approaches for the application of model checking to verify railway interlockings. The first translates so-called Ladder Logic into Scade language, the second models a segment of railway from scratch. The verification tool used is Scade.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2016
ISSN: 1877-0509
DOI: 10.1016/j.procs.2016.05.289